Based on theoretical considerations of Aurell (1979) and Block (1995), we argue that object recognition awareness is distinct from purely sensory awareness and that the former is mediated by neuronal activities in areas that are separate and distinct from cortical sensory areas. We propose that two of the principal functions of neuronal activities in sensory cortex, which are to provide sensory awareness and to effect the computations that are necessary for object recognition, are dissociated. We provide examples of how this (...) dissociation might be achieved and argue that the components of the neuronal activities which carry the computations do not directly enter the awareness of the subject. The results of these computations are sparse representations (i.e., vector or distributed codes) which are activated by the presentation of particular sensory objects and are essentially engrams for the recognition of objects. These final representations occur in the highest order areas of sensory cortex; in the visual analyzer, the areas include the anterior part of the inferior temporal cortex and the perirhinal cortex. We propose, based on lesion and connectional data, that the two areas in which activities provide recognition awareness are the temporopolar cortex and the medial orbitofrontal cortex. Activities in the temporopolar cortex provide the recognition awareness of objects learned in the remote past (consolidated object recognition), and those in the medial orbitofrontal cortex provide the recognition awareness of objects learned in the recent past. The activation of the sparse representation for a particular sensory object in turn activates neurons in one or both of these regions of cortex, and it is the activities of these neurons that provide the awareness of recognition of the object in question. The neural circuitry involved in the activation of these representations is discussed. (shrink)

It has been shown that visual awareness in the blind hemifield of hemianopic cats that have undergone unilateral ablations of visual cortex can be restored by sectioning the commissure of the superior colliculus or by destroying a portion of the substantia nigra contralateral to the cortical lesion (the Sprague effect). We propose that the visual awareness that is recovered is due to synchronized oscillatory activities in the superior colliculus ipsilateral to the cortical lesion. These oscillatory activities are normally partially suppressed (...) by the inhibitory, GABAergic contralateral nigrotectal projection, and the destruction of the substantia nigra, or the sectioning of the collicular commissure, disinhibits the collicular neurons, causing an increase in the extent of oscillatory activity and/or synchronization between activities at different sites. This increase in the oscillatory and synchronized character is sufficient for the activities to give rise to visual awareness. We argue that in rodents and lower vertebrates, normal visual awareness is partly due to synchronized oscillatory activities in the optic tectum and partly due to similar activities in visual cortex. It is only in carnivores and primates that visual awareness is wholly due to cortical activities. Based on von Baerian recapitulation theory, we propose that, even in humans, there is a period in early infancy when visual awareness is partially due to activities in the superior colliculus, but that this awareness gradually disappears as the nigrotectal projection matures. (shrink)

Recent experiments have shown that the amplitudes of cortical gamma band oscillatory activities that occur during anesthesia are often greater than amplitudes of similar activities that occur without anesthesia. This result is apparently at odds with the hypothesis that synchronized oscillatory activities constitute the neural correlate of consciousness. We argue that while synchronization and oscillatory patterning are necessary conditions for consciousness, they are not sufficient. Based on the results of a binocular rivalry study of Fries et al. (1997), we propose (...) that the degrees of oscillatory strength and synchronization of neuronal activities determine the degree of awareness those activities produce. On the other hand, the overal firing rates of neurons in cortical sensory areas are not correlated with the degree of awareness the activities of those neurons produce. The results of the experiment of Fries et al. (1997) appear to conflict with the results of another binocular rivalry experiment, in which monkeys were trained to pull a lever in order to report which stimulus object was being perceived (Leopold & Logothetis, 1996). In the latter experiment, it was demonstrated that the firing rates of neurons in striate cortex did not change during perceptual alterations, while 90% of neurons in inferior and superior temporal cortices changed their firing rate when the perceived image changed. This result led to the conclusion that activities in temporal cortex are correlated with visual awareness, but those in striate cortex are not. We argue that activities in temporal cortex contribute little, if anything, to perceptual awareness, and that their primary function is computational. Thus the correlation between the firing rates of neurons in these areas and the responses of the monkeys is due to the recognition of a particular stimulus object, which in turn is due to the computations made there. (shrink)

The neural and endocrine bases of the generation of thirst are reviewed. Based on this review, a hierarchical system of neural structures that regulate water conservation and acquisition is proposed. The system includes primary sensory-receptive areas; secondary sensory structures (circumventricular organs), which detect levels of hormones, including angiotensin II and vasopressin, which are involved in generating thirst; preoptic and hypothalamic structures; and an area within the ventrolateral quadrant of the periaqueductal gray matter. Hodological and other data are used to determine (...) the hierarchical organization of the system. Based on studies of the effects of lesions to various structures within the hierarchy of the system, it is proposed that the awareness of thirst in rodents is either entirely or predominantly due to neuronal activities in a subsection of the ventrolateral periaqueductal gray matter. It is also hypothesized that the awareness of thirst in primates is due to neuronal activities in both the ventrolateral periaqueductal gray and in a region within the medial prefrontal and anterior cingulate cortex. (shrink)

Why do we have a brain? After all, it's a good deal of trouble. A brain is very expensive; a hefty percentage of our cardiac output goes towards its nourishment. A brain is fragile. If you cut off its groceries for even a few minutes, it's gone, taking the rest of us with it. Worst of all, it is highly likely that pain, fear, sadness and other undesirable states require a brain. None of these things are issues for our brainless (...) relatives, such as lichens or pond scum. On the other hand, a brain comes in handy sometimes. Its very useful at tax time. I find it particularly helpful when watching "Jeopardy" or when taking board examinations. But those are just special cases; in general, why bother with a brain? 2012 APA, all rights reserved). (shrink)

We present a novel way of using proof nets for the multimodal Lambek calculus, which provides a general treatment of both the unary and binary connectives. We also introduce a correctness criterion which is valid for a large class of structural rules and prove basic soundness, completeness and cut elimination results. Finally, we will present a correctness criterion for the original Lambek calculus Las an instance of our general correctness criterion.

In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...) reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and (...) a multimodal version incorporating structural rules and unary modes. (shrink)

In this paper we present a logical system able to compute the semantics of both declarative and interrogative sentences. Our proposed analysis takes place at both the sentential and at the discourse level. We use syntactic inference on the sentential level for declarative sentences, while the discourse level comes into play for our treatment of questions. Our formalization uses a type logic sensitive to both the syntactic and semantic properties of natural language. We will show how an account of the (...) linguistic data follows naturally from the logical relations inherent in the type logic. (shrink)

This is a new release of the original 1941 edition.

Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document} there exists a Jordan-Hölder decomposition of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\mathsf H}_0(G)$\end{document}. This decomposition is determined by a certain enumeration of the pairs in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document}. We correct his (...) proof of this fact and show that there exists a 1-1 correspondence between these Jordan-Hölder decompositions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\mathsf H}_0(G)$\end{document} and the possible ‘construction-orders’ of the par-net underlying \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document}. (shrink)

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.

This paper explores the ethical dilemma of conflicting loyalties found in whistleblowing. Central to this dilemma is the internal/external disclosure dichotomy; disclosure of organisational wrongdoing to an external recipient is seen as disloyal, whilst disclosure to an internal recipient is seen as loyal. Understanding how the organisation and society have dealt with these problems over the last 30 years is undertaken through an analysis of Vandekerckhove’s project, which seeks to place the normative legitimisations of whistleblowing legislation and organisational whistleblowing policies (...) within a globalisation semantic able to contain this conflict between society and the organisation. This project fails, it is argued, because of Vandekerckhove’s particular understanding of the organisation as an autopoietic system, i.e. an operationally closed system. A case is made to understand organisations as complex systems, i.e. operationally open systems. Critical Complexity theory sees the identities of systems and components as coterminous. In the context of the organisation, this means that the identities of the corporation and its corporate members arise and die together. The whistleblower’s disclosure reconfigures the organisation by forcing the organisation to open up and make its boundaries flexible, making the designation ‘internal’ or ‘external’ to the organisation, and, therefore, who qualifies as a recipient of a disclosure of wrongdoing, flexible. The organisation is restrained from retailing against the whistleblower, because its identities are coterminous. Furthermore, as the disclosure cannot be categorically defined as either internal or external, the question of whether an external disclosure can qualify as an act of organisational loyalty becomes moot. (shrink)

This essay is concerned with solipsism, understood as the extreme sceptical view that I have no knowledge except of my subjective state. A less rough formulation of the view is mooted, inspired by a Quinean combination of naturalism and empiricism. An objection to the resultant position is then considered, based on Putnam’s argument that we are not brains in vats. This objection is first outlined, then pitted against a series of counter-objections. Eventually it is endorsed, but only at the price (...) of exposing the formulation of solipsism in question as not, after all, a satisfactory formulation. This leads to further speculation about the status of solipsism itself. Two of the possibilities that are considered are, firstly, that it is incoherent and, secondly, that it is inexpressible. (shrink)

Some philosophers hold that philosophy is what you do to a problem until it’s clear enough to solve it by doing science. Others hold that if a philosophical problem succumbs to empirical methods, that shows it wasn’t really philosophical to begin with. Either way, the facts seem clear enough: questions first mooted by philosophers are sometimes coopted by people who do experiments. This seems to be happening now to the question: “what are propositional attitudes?” and cognitive psychology is the science (...) of note. (shrink)

This introduction just aims to be a fast foreword to the special topic now turned into an e-book. The Editorial "Decision-Making Experiments under a Philosophical Analysis: Human Choice as a Challenge for Neuroscience" alongside with my opinion article "Neurophilosophical considerations on decision making: Pushing-up the frontiers without disregarding their foundations" play the real role of considering in more details the articles and the whole purpose of this e-book. What I must highlight in this foreword is that our intention with such (...) a project was to deepen into the very foundations of our current paradigms in decision neuroscience and to philosophically moot its foundations and repercussions. Normal Science (a term coined by Philosopher Thomas Kuhn) works under a research consensus among a scientific community: A shared paradigm, consolidated methods, widespread convictions. Pragmatically, winning formulas must be kept, although, not at any cost. What differentiates a gifted and revolutionary scientist from a more bureaucratic colleague is the capacity and willingness of constantly reevaluating, depurating and refining his/her own paradigm. That is best strategy to avoid that a paradigm itself would gradually come under challenge. In my view, some achievements, in this sense, were brought about in our project. The e-book will be inspiring and informative for both neuroscientists that are concerned with the very foundations of their works and for philosophers that are not blind to empirical evidence. Kant once said: “Thoughts without content are empty, intuitions without concepts are blind”. Paraphrasing Kant we could say: Philosophy without science is empty, science without philosophy is blind. (shrink)